Nuprl Definition : mapc
2,24
postcript
pdf
mapc(
f
)(
as
) == Case of
as
; nil
nil ;
a
.
as1
, rec:
(
f
(
a
)).(mapc(
f
)(
as1
))
(recursive)
latex
Definitions
Y
FDL editor aliases
mapc
origin
nil ; a.as1, rec: (f(a)).(mapc(f)(as1)) (recursive) nil ; a.as1, rec: (f(a)).(mapc(f)(as1)) (recursive)